$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. es{-}ble\{i:l\}(${\it es}$;$e$;${\it e'}$) $\Leftrightarrow$ $e$ $\leq$ ${\it e'}$